<?php
	echo json_encode($recorrido_realizado);
?>